Cofree coalgebras and differential linear logic
نویسندگان
چکیده
منابع مشابه
Cofree coalgebras and differential linear logic
We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras to model the exponential is a model of differential linear logic. Thus, in this semantics, proof denotations have natural derivatives. We give several examples of these derivatives.
متن کاملMongruences and Cofree Coalgebras
A coalgebra is introduced here as a model of a certain signature consisting of a type X with various \destructor" function symbols, satisfying certain equations. These destructor function symbols are like methods and attributes in object-oriented programming: they provide access to the type (or state) X. We show that the category of such coalgebras and structure preserving functions is comonadi...
متن کاملCofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra w...
متن کاملCofree Coalgebras over Operads
This paper explicitly constructs cofree coalgebras over operads in the category of DG-modules. It is shown that the existence of an operadaction on a coalgebra implies a “generalized coassociativity” that facilitates the construction. Special cases are considered in which the general expression simplifies (such as the pointed, irreducible case). In the pointed irreducible case, this constructio...
متن کاملCoalgebras and Modal Logic
Coalgebras are of growing importance in theoretical computer science. To develop languages for them is significant for the speciication and veriication of systems modelled with them. Modal logic has proved to be suitable for this purpose. So far, most approaches have presented a language to describe only deterministic coalgebras. The present paper introduces a generalization that also covers no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2020
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129520000134